#include "IfxCpu.h"
#include "IfxStm.h"
extern IfxCpu_syncEvent g_cpuSyncEvent;
void core1_main(void)
{
    IfxCpu_disableInterrupts();
    IfxScuWdt_disableCpuWatchdog(IfxScuWdt_getCpuWatchdogPassword());

    IfxStm_waitTicks(&MODULE_STM1, 20*IfxStm_getFrequency(&MODULE_STM1)/1e3);
	IfxCpu_emitEvent(&g_cpuSyncEvent);
	IfxCpu_waitEvent(&g_cpuSyncEvent, 0xFFFF);
	IfxCpu_enableInterrupts();
    while (TRUE)
    {
    }
}
